Unlocking the Unsolvable: Parallel Search Algorithms Conquer Complexity by Arvind Sundararajan
🔀SIMD Programming
Flag this post
Smoothsort Demystified
⚡Quicksort
Flag this post
Generative AI and the P=NP problem
lesswrong.com·14h
🧮SMT Solvers
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
🕐Vector Clocks
Flag this post
Efficient Hyperdimensional Computing with Modular Composite Representations
arxiv.org·2d
🧮Vector Databases
Flag this post
Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
🎭Program Synthesis
Flag this post
Position-Candidate-Hypothesis (PCH) Paradigm: A New Research Direction for NP-Complete Problems
🧮SMT Solvers
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
📦Folly
Flag this post
Solving Project Euler #45
📊Dynamic Programming
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·2d
📐Type Theory
Flag this post
Attention really is all you need — The Encoder
pub.towardsai.net·1h
🤖Transformers
Flag this post
Mandelbrot Set Visualization in C.
🎨Computer Graphics
Flag this post
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
arxiv.org·2d
✓Formal Verification
Flag this post
Convergence vs. Consensus in Distributed Systems
🔄CRDT
Flag this post
Loading...Loading more...